en personal af 5,000 ordinarie och ett ännu större antal extra ordinarie personer.