Ich wusste nicht, wo ich die Frage sonst posten sollte:

Was ist der Unterschied zwischen den mp4 und den avi-Aufnahmen, dass die mp4 Aufnahmen wesentlich kleiner sind?

Nur ein anderer Videocodec wird es kaum sein. Ich vermute, dass die Videos eine andere Auflösung haben, aber welche?