on government official double-dipping on salaries and pensions