Aktionäre der Euronext geben kein Votum für Deutsche Börse ab