Export-to-ZIP in projekt.js verwendet jetzt die RootFolder-ID
Merge branch 'dev' of ssh://git@github.com/Moeplhausen/LatexWebOffice.git into dev