skulle enligt riksgäldskonlorets räkenskaper återstå kr.