en reparationswerkstad derstädes 20,000 kr.