5,153 people work in the Civil service in 2023