Eurex to shorten trading hours for options from 3 November