In July 2016, the international derivatives market Eurex, part of Deutsche Börse Group, recorded an average daily volume of 5.5…