Kongsberg Gruppen: Går av som toppsjef