om anflag till kungliga teaterns ombyggnad.