Möchten Sie den permanenten Link in die Zwischenablage kopieren?
Permanenter link:
https://texwelt.de/fragen/531/algrestore-nach-pause/551