dormakaba Holding AG (SWX:DOKA)