vid samma tidpunkt utdelade pensioner till ett belopp af kr.