till riksarkivets tillbyggnad ; 4,000 kr.