var allt som hördes af då för några år sedan en betydlig reduktion af den norska truppstyrkan företogs.