gått till omkring 10,000 kronor ; öfriga repara tioner och värmeledningen till 3 eller 4 , 000.