till 6,500 kr , men den nödiga reparationen derå till omkring 25,000 kr.