kleine Änderung an DocExport