Title: Some statistics relating to the Civil Service