Mindre teatern , der det tyskaoperasäliskapet