El operador bursátil Deutsche Börse ganó un 21% más en 2017, hasta 874,3 millones