Duitse media meldt de-anonimisering Tor-gebruiker, Tor Project heeft vragen