Closed limazangerl closed 4 years ago
TEI Header der Dokumente ändern vor Veröffentlichung der neuen Version
TEI Header der Dokumente ändern vor Veröffentlichung der neuen Version