till riksgäldskontorets aflöning och pensioner kr.