för riksarkivet ; 4,000 kr.