Bundeswehr-Marine: 75 Jahre Technische Marineschule Kiel 1988