Hvad slutligen angår Stora teaterns ombyggnad,