öfvertaga den norska marinens kommando- ökats med 811,912 individer.