Federal Workforce in DC Area Has Shrunk by About 22,000 People...