Für das Thumbnail-Problem habe ich zwei Lösungen gefunden:
1.: Einen 32-Bit Explorer öffnen und die Verzeichnisse mit den Videos aufrufen, weil der mit den 32-Bit-Codecs umgehen kann oder
2.: Einfach die 64-Bit-Codecs installieren (wobei empfohlen wird den Player trotzdem auf 32 Bit zu betreiben, weil die 32 Bit Codecs wohl besser sind). Egal auf wie viel Bit man abspielt, mit den thumbnails klappt das jedenfalls wunderbar
Bleibt noch dieses Dateiendungsmysterium