öfverstelöjtnanten i norska generalstaben,