tjänstgör en personal af 5,000 ordinarie och ett ännn större antal extra ordinarie personer.