Riksgäldsmedel 47 , 413 12 1 Diverseverks