Den kungliga teatern hade redan förut,