reparation å stora teaterns hus , dels 25,000 kr.