Ich nutze den Freemake Video Converter.
Die Bedienung ist eigentlich selbsterklärend.
Dort kann man auch die Auflösung für die Ausgabedatei einstellen. Dauert halt einige Zeit, so eine Konvertierung in ein anderes Format.
Sicher gibt es auch noch viele andere Video Converter mit denen man das bewerkstelligen kann.
MfG
Was ist denn jetzt die perfekte Größe zum Konvertieren?? =)