grufvor , mineralier , saltsjöar och källor , allmänna byggnader , fästningsverk , kaserner , hamnar , flottor , skeppsvarf , dockor , magasiner , vapen , krigsförnödenlieter och all annan tilldet