100,000 kronor ; kostnaden för reparationen belöper sig till 10,000 kronor.