Article 7 Judicial Pensions Act 1981
The ECHR judge shall be treated during the whole of his ECHR service as serving in his UK judicial office and, subject to the operation of any of the provisions referred to in article 3 of this Order, the whole of his ECHR service shall count as relevant service.