nemligen en sådan tjensteman nied pension från civilstatens pensionsinrättning , men i dessa undantagsfall skulle en dubbelfördel