en reparation för 20,000 kr.