($1 = 0.9387 euros)

(Reporting by David Latona; Editing by Andrei Khalip)