Danke!
Denkbar wäre aber, dass es generische Microsoft-Codefolgen gibt, die nach dem Import der HTML-Datei einen korrekten PAGEREF setzen. Nach einigen Stunden einschlägigen googelns halte ich es für einigermaßen wahrscheinlich, dass sich das doch machen lässt.
dz