reparationen för omkring 5,000 kr.