till Stora teaterns ombyggnad ,enligt