Kongsberg Mines (Norway), a worldw