Nur achte bitte auf das Avi Format. Nicht jeder Ausgaberechner hat Xvid Codec.
Ich denke, du meinst das Richtige, trotzdem nur der Vollständigkeit halber: AVI ist nur ein Container für Codecs (Audio+Video), d.h. in einem AVI kann so ziemlich alles codiert sein, vom steinalten Format, in dem alle Bilder voll enthalten sind (und deshalb schweinisch groß werden; Name entfallen) über DivX/XviD bis hin zu H.264/x264. Und für den/die Audioströme gilt dasselbe (MP3, AC3, PCM, etc). Deshalb gilt: AVI ist nicht gleich AVI, sondern auf den Inhalt kommt es an.
MfG Dalai