pension från arméns pensionskassa eller amiralitetets-krigsmanskassan.