de stora framsteg , som fartygsindustrien och dermed också verldsflottan gjort under 1888.