Hi und Dankeschön für Deine Antwort, LigH.
Also, ich habe alle bis dahin erstellten archive erfolgreich mit mkvmerge zu einem Vid muxen können - ist halt bloß unkomprimiert. Jetzt habe ich gerade nochmal eine andere (32-bit) Version vom x264 codec heruntergeladen (64-bit Avi-synth habe ich nicht gefunden...), mal sehen, ob es mit dem läuft. Ich hatte übrigens "use 64-bit x264" nicht gecheckt, was natürlich auch schuld gewesen sein könnte.
Etwas später:
Also prima - jetzt hat er auch mit dem encode angefangen! Danke für den Tip, wär mir nie in den Sinn gekommen...und noch eine Kleinigkeit: ist 8.29 fps normal oder muss ich da die verschiedenen presets durchprobieren, bis ich eines finde, das schneller encodiert?