[304] Marinearsenal umfaßt alle zum Bau, zur Reparatur und Ausrüstung von Kriegsschiffen erforderlichen hafenbaulichen Anlagen, Werkstätten, Magazine u.s.w.
Zu einem Arsenal gehören Hellinge (s.d.), Docks (s.d.), Magazine und folgende Werkstätten: Schiffbau-, Schlosser-, Tischler-, Maler-, Schmiede-, Kesselbau-, Kupferschmiede-, Maschinenbau-, Gießerei-, Mechaniker-, Takler-, Segelmacherwerkstatt.
T. Schwarz.