A widowed friend who worked in Ireland for about 1o years and since then has worked in England is contemplating returning to Ireland when she reaches retirement age in England. Apart from a UK pension will she be entitled to any Irish pension and what info is required to ascertain this