For the purposes of this Act a person is a Hong Kong overseas public servant at any time if at that time—
(a) he is, or is treated by the Secretary of State as being, a member of Her Majesty’s Overseas Civil Service or Her Majesty’s Overseas Judiciary, and
(b) he is on the pensionable establishment of the government of the colony of Hong Kong.