hvilken försäljning föranstaltats af riksgäldskontoret,