Chefen för norska generalstaben,