Payment of ex-gratia: Overhaul salary and end-of-service benefits for article 71 office holders