annat hafva kungliga operan och teatern,