den scen , som ännu bär namnet Kungliga Operan.