Dies ist eine kleine Wegleitung, wie ich den VLC Media Player unter Linux doch noch zum Abspielen einer etwas speziellen MP4-Datei brachte.