Deutsche Börse

German stock exchange operator.