Crypto AG: Back-doored machines · HackerTrans