lägger man till det belopp af 15 , 130 , 545 kr. , som å riksgäldskontoretsbudget