— Ny byggnad för kungliga teatern.