Gerade habe ich mir den letzten VLC-Mediaplayer runtergeladen.
Ursprünglich habe ich das installiert um den Quicktime Player zu umgehen, der, zumindest in der kostenlosen Version, kein Vollbild bietet. Die bisher installierte Version hatte nur das kleine Problem manchmal kein Audio zu liefern.
Also upgrade. Und plötzlich ist alles wunderbar.
Wie es scheint bringt dieses Progrämmchen alles Mögliche an codecs selber mit und es hat unglaublich viele (Einstell)möglichkeiten.
Ach, seht selbst.