den 1884 inrättade riksdagshusbygnadsfonden,