ich hab mir ein script geschrieben, das die Sonderzeichen umwandelt.
Ist zwar mühsam, die einzelnen hex-codes zusammenzusuchen,
erschein mir aber zielführender ....

danke dennoch!