GERMAN "HISTORY OF THE US NAVY" STEIN