Till extra tjenstemän i riksarkivet 2,500 kr.