nicht angemeldet
Hallo
Klappt das auch mit diesem Link nicht?
Ansonsten einfache Alternative:
Phase5 besitzt eine wunderschöne Funktion Konvertierung - Sonderzeichen in HTML konvertieren. Bevor du deine neue Index auf dem Server lädts, einfach alles markieren und die Funktion aufrufen, anschließend als Index_source abspeichern.
Von der Verwendung einer txt-Datei rate ich dir ab, der IE macht da gelegentlich seltsame Dinge :-)
Viele Grüße
Antje