[738] Seearsenal (Seezeughaus), der Verwahrungsort für alle zum Seekrieg u. zur Ausrüstung der Kriegsschiffe dienenden Bedürfnisse.