Automated Known-Plaintext Cryptanalysis of Short Hagelin M-209 Messages. Issue 1 (2nd January 2016)