Am besten nimmst du SnagIt oder WinCorder (ist aber beides Shareware) und nimmst das dann erstmal ohne das irgendein Codec drauf is auf und machst dann DivX 4 oder DivX 5 drüber... das kommt denke ich mal am kleinsten raus...