Hat die Deutsche Börse heute geöffnet?