riksarkivbyggnad och af 100,000 kr.