Archiv der Ostdeutschen Theater eine Dokumentation