"In an age when agencies such as the Internal Revenue Service and the Social Security Administration can share electronic records almost instantly, the National Personnel Records Center still operates much as it did when it opened in 1955. . ." . . . . .