“Washington, D.C.’s workers enjoy the highest salaries of any U.S. city, with a median household income of $85,198,” recently reported CNNMoney. It’s even higher for the federal workers segment of the city’s workers, with an average wage last year for federal civilian workers of $81,258 per person (per person, not per household). That’s over $30,000 more than last year’s average private-sector wage. Add the cost of benefits and pensions and the average compensation gap between federal and private-sector workers jumps to nearly $62,000 per year -- $123,049 vs. $61,051. That doesn’t mean they work the hardest or that they’re twice...