In these days, ocean tourists seldom venture upon ships of less than 10,000 tons.* Last week a tiny destroyer of 800 tons was launched at Kiel. She represents the concentrated efforts of German naval ...