har nemligen till den kungliga teatern förfält mindreteatern