{"name": "HALMA PUBLIC LIMITED COMPANY"}