Hat ganz Irland den Euro?