norska generalstaben Ellert Holtermann.