What is CIVIL SERVICE? What does CIVIL SERVICE mean?