Does anybody know what finally happened with the coins on coinarmy ? I sent them some mails but dont get a reply. I was a very early miner there and had around 40k.