Moin!
Ich hab mich nicht entmutigen lassen und noch ein wenig weiter gesucht. Und habe jetzt eine Lösung gefunden, die zumindest unter NT, XP, und 2000 funktioniert:
1. Alle Programme beenden, die aufs Internet zugreifen
2. DOS-Fenster öffnen
3. Mit dem Taskmanager den Windows-Explorer "terminieren".
4. Jetzt lassen sich die IE-Verzeichnisse einschließlich sämtlicher index.dat von der DOS-Box aus löschen
5. Den Explorer neu starten, am einfachsten durch Eingabe von "explorer" im DOS-Fenster.
Fertig!
Das Verfahren funktioniert unter Win9x so nicht, da diese Versionen ihre Shell (explorer.exe) sofort automatisch neu starten, wenn man sie, wie in Schritt 3 beschrieben, beendet.
Aber bei diesen Versionen hat man ja zur Not noch den DOS-Modus, evtl. auch während des Systemstarts...
Vielen Dank trotzdem an alle, die mitgedacht haben!
Martin