It said on late Friday the change would be effective from July 20 and reflect a decision by the working committee for equity indexes published on June 6.
Deutsche Boerse made the announcement hours after it said that shareholders had approved the proposed merger with NYSE Euronext .
Copyright Reuters, 2011