kommandot öfver norska marinen.