lade dir doch einfach das DivX Bundle runter
http://www.divx.com dann installieren...dann Premiere starten
und wenn du jetzt das Schnittfenster exportierst, dann taucht der DivX Codec in der Videofilter-liste auf.
die Auflösung des zu exportierenden Films sollte möglichst die des Originals sein...um beste Ergebnisse zu erzielen.