Deutsche Boerse started trading started as normal at 08:00 GMT after a short disruption.