borde ingå till statskassan för att användas till statsskuldens amortering.