I don't know how the public key has been obtained, but it's present in many places in the Internet (blockchain.info, blockr.io, etc..).