Programm zum Konvertieren von avi nach MPEG4 gesucht

[Miksch]

Guten Abend Forum! :)
Ich habe ein wenig weiter recherchiert und weiss jetzt, dass ich ein Programm suche, dass es mir ermoeglicht .avi Dateien in MPEG4 zu konvertieren, oder auch DivX.
Gibt es so etwas? Wenn ja wie heisst das Programm?
TIA und viele Gruesse,
Miksch

[jeppo]

http://www.google.de/search?hs=bjk&hl=de&client=firefox-a&rls=org.mozilla%3Aen-US%3Aofficial&q=%2Blinux+%2Bavi+%2BMPEG4+&btnG=Suche&meta=
http://freshmeat.net/search/?q=%2Bavi+%2Bmpeg4&section=projects&Go.x=0&Go.y=0