Richtig, DivX ist empfehlenswert für AVIs, aber man hat natür,ich enorme Qualitätsverluste (siehe mein Star Wars Film), nur so kann er auch so klein werden. Achte auch darauf, die Audiospur zu komprimieren (am besten ein MP3 Codec), ansonsten ist das video nachher immer noch sehr groß.