» i civilstatens pensionsinrättning 9 , 000.