till Stora teaterns ombygnad.