Did you receive any previous lump sums? What tax amt did you pay?The pension lump sum (at that level) should not be taxed. Are you sure any deduction was tax and not some arrears of contributions for say the Spouses and Children’s benefit?
I suggest you query the deduction with the HSE pensions office.