+ ‘Lernjournal/main.synctex.gz(busy)’