Danke Ddraiggy, ich werden den MediaCoder mal ausprobieren. Den hatte ich vor einigen Monaten mal probiert, aber da konnte er das noch nicht. Im Moment habe ich mich deshalb immer mit All2Avi oder dem Commando aus dem MPLAYER herumgeschlagen (mit dem Resultat, dass dann oft Bild und Ton nicht mehr ganz synchron war - ach, wie ich Matroska hasse).