omkring 2,000 tjenstemän , hvilka naturligtvisalla