är utnämd öfverstelöjtnanten i norska generalstaben C . Holtermann.