afslutad , har riksgäldskontoret erhållit 25,000 kr. , utgörande enda utdelningen för dess fordranå