Το Χρηματιστήριο Αθηνών μετονομάζεται σε «Euronext Athens Holding»