åt extra tjenstemän i riksarkivet 1,700 kr.