Text this: [Work hours for civil service employees at military headquarters, arsenals, and depots, text of Executive order].