Hvad angår Stora Teaterns restauration,