verkstads varf för undergående af reparation.