Den danske,
denholstenske og den norske
E o r t i f i k a t i o n s - E t a t
1684—1763
samt
I n g e n i e u r k o r p s e t
1763
—
1884
.