reparationsverkstad derstädes 20,000 kr.