Da sich ein Patch nicht installieren ließ, habe ich etwas an der VLC-Installation geändert, was letztendlich dafür gesorgt hat, dass zunächst ein VLC-beta installiert wurde.
Danach wollte ich die Aktion wieder rückgängig machen und habe VLC installiert.
VLC sagt mir jetzt:
"VLC konnte das Format „h264“ (H264 - MPEG-4 AVC (part 10)) nicht dekodieren"
h264enc ist aber installiert.