Ein Marinearsenal oder Marinewerft ist eine militärische Einrichtung mit zur Wartung, Reparatur und Ausrüstung von Kriegsschiffen und den zugehörigen Waffensystemen, Geräten und Maschinen erforderlichen Anlagen, Werkstätten, Magazinen und Lagerhallen. Wikipedia