($1 = 0,9351 euro)