BETYDNING OG BRUK
sjømilitærvesen, i Norge 1817–1857
korps av håndverkere og
arbeidere, (vesentlig) stasjonert ved orlogsverftene