es gibt ne menge, guck dich mal um..
http://www.divx-digest.com/

wenns nur um größe geht, dann würd ich zu
divX oder xviD raten.

divx wird von den meisten dvd playern unterstützt.
gute dvd player schaffen auch xvid.

xvid ist opensource und komplett gratis

divx ist ad-ware.

xvid kommt mir beim encoden manchmal schneller vor als divx.

wenn es mehr um kompatibilität geht, weil dein paps es am dvd player schaun möchte, dann nimm mpeg1 bzw. mpeg2.

für audio nimmst dann mp3, eh klar.

für konvertierung und simple videoschnitte reicht virtualdub, virtualdubmod und/oder nandub

habe noch ne gute seite die dir vieleicht auch noch etwas helfen könnte
http://www.doom9.org da sind sehr viele tutorials wie videos bearbeitet
ich hoffe es hilft dir

weiß jemand wieviel Vidomi taugt??

adobe premiere! ist halt ein bisschen aufwändigeres programm! kosten?!?! keine ahnung!!

virtualDUB kanns.
mfg Oliver