samt att tjenstemännen i civilstatens pensionsinrättning och arméns pensionskassa åtnjuta pension.