Speicher freigeben

[texmurphy901]

Oh...das ging ja schnell.
zu den beiden Antworten: Ja beim Beenden wird der Speicher wieder frei gegeben.

Und die Bemerkung mit dem Speicherloch ist ebenfalls zutreffen: Bei jedem Blättern im Dokument geht weiter Speicher flöten, der dann ebenfalls nicht freigegeben wird.
Dieses Problem habe ich versucht mit meiner geschilderten Methode zu umgehen, quasi als Workaround bis der Hersteller sich ENDLICH mal meldet.

Aber es muss doch einen Weg geben, dass ich den Speicher wieder frei bekomme?