($1 = 0,9393 euro)