Bis wann wird an der Frankfurter Börse gehandelt?