* Förvaltade af Riksgäldskontoret.