af arméns pensionskassas egen pensio » ering till 800,000 kr.