Den tyska operan på Mindre teatern.