"nds and gardens, the Dwight D. Eisenhower Executive Office Building, the New Executive Office Buildings, and any other facility to the extent that offices are provided for employees of the Executive Office of the President." . . . .