kostnaden för reparationen uppgår till omkring 10,000 kr.