grundlig reparation tor en kostnad af omkring 25,000 kronor.