Falls es jemanden interessiert, hier die Lösung für mein Problem.

Man muss ein spezielles 64bit-Codec Pack installieren (z.B. K-Lite für 64bit). Bisher hatte ich nur Codec-Packs für 32bit. Deshalb funktionierte es auch mit dem Windows Media Player, da der standardmäßig auf 32bit läuft.