Ok, aber da gibt es ja auch in den Einstellungen > Erweitert den Videoplayer zum Abspielen gespeicherter Filme. Da könnte man auf den zurückgreifen wenn nicht leer. Wobei da bei mir unter Windows beim allerersten Start immer automatisch der VLC erkannt und eingetragen wurde, wenn ich nicht irre. Allerdings weiß ich nicht, ob mich meine Erinnerung wieder einmal trügt und ich das selbst eingetragen hatte.
Übrigens habe ich mich immer obige Einstellung bezogen. Die Sets hatte ich gar nicht auf dem Schirm.
