Summan af de genom riksgäldskontoret förstatsbanorna