Oben hattest Du bereits auf eine Konvertierung über GREP-Ersetzen hingewiesen. Eventuell wäre bei Schwierigkeiten (uneindeutige Belegung) mit GREP-Ersetzen auch ein Glyphen-Ersetzen in Betracht zu ziehen (unter Berücksichtigung der von Ralf Herrmann oben gemachten Einschränkungen bei den GIDs).
(Dieser Beitrag wurde von Martin Fischer am 10. Dez 2018, 09:15 geändert)
Änderungsverlauf:
Beitrag geändert von Martin Fischer
(Moderator) am 10. Dez 2018, 09:15