"Today, the Eurex Exchange market was halted at 8:20 am (0620 GMT) in order to protect the integrity of the market. The market halt was triggered by an incorrect time synchronisation within the system. The problem was resolved, pre-trading started at 9:20 am and as of 9:30 am all products were again tradable," Deutsche Boerse said in a short statement.
The last market halt at Eurex Exchange was on October 11, 2011, it added.