“Civil service” was initially distinguished as commercial from military staff.