UK public pensions for UK residents in Spain are exempt from Spanish income tax

A UK resident in Spain enquires about the taxation of a British Armed Forces pension. The DGT determines that if the beneficiary is a UK national, the pension is only taxable in the UK and is exempt in Spain under the double taxation treaty.