Change currency for Ireland to the Euro - fixes #409