Marineleitung,
1920 aus dem Reichsmarineamt (Marineamt 1 1)) hervorgegangene oberste Kommando- und Verwaltungsbehörde der deutschen Seestreitkräfte; 1935 in »Oberkommando der Kriegsmarine« (OKM) umbenannt.
Universal-Lexikon. 2012.
Universal-Lexikon. 2012.