till k. stora teaterns om-och tillbyggnad.