Marine, gemeint ist die Gesamtheit der Kriegsschiffe und derenBesatzung