the Euro is currency used in Europe