Stora teaterns i Stockholm ombyggnad.