hofoperahufet i Berlin under uppförandet af'