Die Antwort: Der Editor braucht einen neuen Rechner. Das nachträgliche bearbeiten der Dateien zum einfügen der Korrekturen macht der Arbeitsspeicher nicht mehr mit. So sind beim Durchgang der letzten Korrekturen die Wörter unbemerkt gelöscht worden, als die zu bearbeitende Datei in PDF umgewandelt wurde.
Verdammt. Das wird ein teuerer Spass
Der Editor kann sich bloss entschuldigen.