Hi nochmal. Erstmal danke für den Vorschlag, Christian!
Aber leider funktioniert das mit dem Austauschen nicht. Immer, wenn ich die Datei ersetzen will, wird sie von Windows automatisch durch eine (ich vermute mal) Sicherungsdatei der winhlp32.exe ersetzt.
Man liest sich, Stanlay
