om att kunna använda sin flotta framgår däraf , att 3,400 arbetare äro sysselsatta med att reparera krigsfartyg.