Eurex Faces Legal Threat Over €600M High-Speed Trading Glitch