Ich habe es inzwischen selbst gefunden. Gibt es eine Liste aller Codices, die erforderlich sind?
Ich habe die Codecs nach dieser Anleitung installiert:
13. Multimedia Codecs - Install Support for restricted codecs including MP3, DVD, WMA, WMV, MOV etc.
Damit laufen dann alle Videoplayer mit allen Formaten.