verkstad , som öfrigt gjort helafartygets