@nielskob Danke! Leider geht es nicht um Kommentare, sondern Korrekturen. BTW, ich glaube bei Skim kann man die Kommentare auch exportieren