if employed by the Federal Government before
January 1, 1984, continue to be covered by the United States Civil Service Retirement System, under chapter 83 of title 5, to the same extent that such retirement system covers District Government
1
So in original. Probably should not be capitalized.
employees; and