Heureka, das war die Lösung
Ich ging, wie mir LouCypher geraten hatte, in Google mal auf die Suche und fand dann unter
http://www.pcmag.com/article2/0,1895,1206400,00.asp
folgenden Eintrag.
Delete Stubborn AVI Files
By Jonathan Roubini
Occasionally you won't be able to delete or even move an AVI file, because as soon as you click on the file, Explorer hangs while trying to offer a preview of it. This usually happens when the AVI file is incomplete or corrupt. A quick Registry fix will unlock your AVIs so you can move or delete them.
Click on Start | Run; now type Regedit and click on OK. Browse to HKEY_CLASSES_ROOT\System FileAssociations\.avi\shellex\PropertyHandler and delete the Default key contained in this folder.
Also ich hatte zwar nie eine CPU-Auslastung von 100%, nach dem ich aber den oben beschriebenen Eintrag in der Regitery gelöscht habe, kann der Explorer nun ganz plötzlich ganz brav mit diesen *.AVI Files umgehen. Das bedeutet also: Problem gelöst!
Merci an alle