Wie konvertiere ich am besten .avi-Videos (aufgenommen mit Casio Exilim EX-S500) unter Linux?

Mit ffmpeg. Zum Beispiel der Export als MPEG-4 Part 2 Dual Pass, Broadband Quality:

ffmpeg -i infile.avi -s 320x240 outfile.mp4

Diese Form des Konvertierens geht deutlich schneller als ein Export aus kino, also der Umweg über
.dv-Dateien. Außerdem sind die (mit obigem Befehl) entstehenden .mp4-Dateien 2-3mal kleiner als die mit kino als »Medium Quality« exportierten.