utbetalade riksgäldskontoret 530,710 kr.