äro berättigade till pension från arméns pensionskassa eller amiralitetets krigsmanskassa.