kvartalets pensioner från Civilstatens pensionsinrättning.