Government officials. Executive order [that 4 hours on Saturdays during July-Sept. shall constitute day's work for all Federal employees].