Reparationen bar kostat omkring 15 000 kr.,