A technical glitch halted trading on Eurex, Europe’s largest derivatives market, for about 60 minutes, adding to this month’s tally of exchange breakdowns following a three-hour shutdown of the Nasdaq Stock Market.