från riksgäldskontoret ( 12 , 047 , 919 kr. ).