antalet af tjenstemän i riksarkivet.