Deutsche Börse macht mit Verkauf von CBOE-Anteilen Gewinn