20171029 business.international-business: Deutsche Boerse chairman says board has CEO shortlist -newspaper