Department of Public Expenditure, Infrastructure, Public Service Reform and Digitalisation

I am seeking for the years 2015, 2016 and 2017, the number of Civil Servants that retired at 65 years of age or that may be required to retire at 65 years of age. For each year I am also requesting the numbers that retired or will retire with full service and the numbers that retired or will retire with less than full service [i.e. 40 years].