{"name": "KONGSBERG GRUPPEN ASA"}