gjorde vid en viss tidpunkt den utländska marinen hastigare framsteg än den inhemska.