timmermän och handtverkare voro sysselsatta med att reparera fartyget ."