. . . "The Federal government is the largest single consumer of energy in the United States." .