— Kungliga stora teaterns ombyggnad.