hm. divx macht die daten eigentlich schon ziemlich klein. du kannst höchstens noch mit der bildqualität, der bildgröße, der bildrate oder der tonqualität runter gehen. ich denke du benutzt wahrscheinlich schon das neueste divx format. sehr gute ergebnisse macht auch das neue realvideo oder das windows media format.
letzten endes reicht aber keines aus um aus einer 15mb datei eine 6mb datei zu machen. wenn du statt 25 bilder/sekunde nur noch zwölf abspielen lässt, hast du dein ziel ja schon fast erreicht. vielleicht dann noch die Bildgröße um ein drittel reduzieren und den ton auf die nächst-niedrigere Qualität stellen (und unbedingt auf Mono, das spart auch schonmal viel).
Schöne Grüße,
Sven.