stora teatern uppgingo till , efter hvad vi hört , omkring 10,000 kr.