föreslås att om- och tillbygga Kongliga teatern på nuvarande tomt.