Ich behaupte mal, das müsste so funktioinieren: Gehe wie immer auf Datei > Film exportieren. Wähle dort AVI. Mit Klick auf "Erweitert" kannst du den Videocodec wählen. Wechsle dort auf Xvid. Bedingung wird sein, dass du den Xvid-Treiber auf deinem System installiert hast (das ist nicht standardmässig der Fall).