kommer att repareras för en beräknad kostnad af omkring 9,000 kr.