[shadow2043]

Uno momento. Eine unkomprimierte AVI Datei kann nicht noch größer werden, das ist schon das Maximum, was (sinnvollerweise) möglich ist.

Was ich empfehlen kann, um Videodateien zu identifizieren, ist MediaInfo.
Mich würde es jetzt sehr interessieren, was das für ein Video ist. Denn ich zweifle doch stark daran, dass es unkomprimiert ist.

AutoGordianKnot ist schon mal ein guter Weg, um irgendwie anzufangen. Dabei würde ich jedenfalls eher XviD statt DivX empfehlen.
Wenn du herausfinden willst, wo du dich bei dem Video hinsichtlich Dateigröße und Qualität bewegen kannst, dann kann ich dir raten, bei AutoGK entweder den Kompressionstest zu machen bzw. selber das gesamte Video mit XviD und einer Einstellung von "Quantizer 2" (statt Bitrate!!) zu komprimieren. Das ist sinnvollerweise die beste Qualität, die XviD komprimieren kann. Damit könntest du sehen, wo du liegst und wie weit du runtergehen könntest mit der Qualität.