Nybygnad för kungliga teatern.