af en tillbyggnad för riksarkivet , 4,000 kr.