Ist die Deutsche Börse heute geöffnet?