ISE shareholders approve merger with Eurex