af fonden för riksdags- och riksbankshusen å Helgeandsholmen till 6 , 405 , 000 kronor.