sedan , hurusom norske generalstabschefen Otto Nyquist aflidit.