NAGRA, a Kudelski Group (SIX:KUD.S) company and the world