för riksarkivet ; 4 000 kr.