Операторът продължава да работи над сливането си с германската Deutsche Börse