Die Volksmarine der DDR: Entwicklung, Aufgaben, Ausrustung (German Edition)