ombord en minverkstad , afsedd för reparationer af minor.