till uppförande af en tillbyggnad för riksarkivet 250,000 kr.