Wunderbar, super - danke!
Funktioniert super (10/32) mit Ton und Bild, so wie es sein soll. Ich hatte allerdings vorher Probleme, da wohl der ein oder andere Codec geschreddert war. Ich stieß auf das Codec Tweak Tool, http://www.codecguide.com/download_other.htm. Jetzt läuft es wunderprächtig.