Tach,
Kennt jemand HTMLDOC bzw. ist dieses Problem bekannt und hat vielleicht jemand einen Lösungsansatz?
ich würde mal vermuten, das liegt daran, dass die Zeichen als Referenzen und nicht als wirklicher Text in der Datei stehen. Hast du mal versucht das Dokument mit einer passenden Kodierung (UTF-8!) und ohne Referenzen in ein PDF umzuwandeln?
mfg
Woodfighter