Ja, vielen Dank. Ich hatte beide genannten Wege schon erfolglos beschritten, habe es aber trotzdem nochmals, leider wieder erfolglos, versucht. Das Seltsame ist ja, dass ich, wenn ich ein Video vom PC auf das Notebook übertrage, dort sofort die Miniaturbilder angezeigt werden. An den Videos kann es also nicht liegen, und auch der Video-Player ist der gleiche. Auch wenn ich auf dem PC einen anderen Video-Player (z.B. den von Windows) als Standardprogramm verwende, ändert sich nichts.
Ich kann mir eigentlich nur vorstellen, dass irgend ein Update für die 32-Bit-PC-Version Schuld sein kann, dass der Explorer die Einstellung zur Anzeige von Miniaturbildern bei Videos nicht mehr erkennt und auswertet. Meine Hoffnung liegt daher in erster Linie auf einem neuen Update, mit dem der Fehler wieder beseitigt wird, aber dazu müsste er erst einmal erkannt sein.
Eigentlich hätte ich gedacht, dass das Problem nicht nur bei mir aufgetreten ist, aber vielleicht ist es woanders nicht bemerkt oder als nicht relevant wahrgenommen worden. Auch ich kann damit natürlich leben.