[MatthiasM]

Völlig frei ist der VLC, der kann nahezu alles, was er abspielen kann, auch irgendwie umcodieren (aber die Bedienung ist gewhnungsbedürftig).
http://www.videolan.org/vlc/

Was ich verwende, um z.B. aus Flash mp4 zu machen, wäre der Free MP4 Video Converter von www.dvdvideosoft.com

Mit dem konkreten Material muß man natürlich oft etwas herumprobieren, auch mit welchen Einstellungen vom Konverter nachher das jeweilige Ausgangformat auf dem konkreten Wiedergabegerät gut läuft oder zickt.

lG Matthias