Tiger-mate
W.O. Donaldson is not a Civil Servant. The military are explicitly excluded from the definition of a Civil Servant.
It may be that the rules for service pensions are the same or similar to those for the Civil Service
I am not sure if the service pension is now treated as a contributory pension, if it is then Ex W.O Donaldson may well get his pension.