behagat benämna samtlige marinetablissementecna och befästningarne wid Horten med det gemensamma namnet Carl-Johans-Wcrr ».