Deutsche Börse completes Eurex takeover