till Marinen hörande ctablitzementer , såsom Genie- , Marineoch Lvtsstvlvrna , Hospitalerna , Casernerna , Fästningswerken m . m.