text: The Civil Service has more than 2000 employees and the total number of public sector employees including the Civil Service , teachers , nurses , police , etc is about 9000 people .
simplified: The Civil Service has more than 2000 employees and the total number of public sector employees including the Civil Service , teachers , nurses , police , etc. is about 9000 people .