Habe mehrere Codecs/Player durchprobiert und kann DivX 7 empfehlen.
Ich weiss nicht, warum Cyberlink seinen Codec dichtmacht, aber da es kostenlose Alternativen gibt, kann ich damit leben. Wenn sie unbedingt die "Konkurrenz" stärken wollen, bitte sehr!