Graham why are you going on about civil service pensions? Nobody here gives a stuff about the civil service.
You are in a branch of government and therefor part of the overall Civil Service.
Your pension is not paid by private industry, but out of the taxpayers contributions. In my eyes, that makes you part of the overall civil service.