till reparationer af Stora teaterns hus.