teaterns lokal i K. Operahuset.