Reparationen har kostat omkring 9,000 kr. , hvartill ytterligare kommerkostnaden