20170727 business.international-business: Deutsche Boerse says first half performance 'slightly below' expectations