Hallo Gert!
Ich würde zu mp4 tendieren.
Zur Konvertierung empfehle ich den "Super Video converter", den gibts als freeware.
Da kannst du mit Framerates, Bitrates und Kopression arbeiten um die Dateigröße und Qualität in Einklang zu bringen.
edit: Für Android empfehle ich den im Playstore ebenfalls kostenlos erhältlichen MX-Player und den dazugehörigen codec-pack. Der spielt jedes mir bekannte dateiformat ab.
