Was genau sind Codecs? Solche Späßchen wie DivX und so weiter?
Hm, hab DivX mal testweise komplett deinstalliert, an dem Abspielen der Videos hat sich nichts geändert, daran lag es wohl nicht. Andere Programme dieser Art, die ich besitze, sind eigentlich nur Rad Video Tool (mit dem ich die Videos überhaupt erst manuell sehen kann), PowerDVD und der Standard Windows Media Player. Ich denk aber nicht dran, letztere zu deinstallieren.

Naja, ich werde wohl damit weiterleben, immerhin läuft das Spiel flüssig.