Exploit wird aktiv genutzt: Firefox-Anwender, die Tor nutzen, werden de-anonymisiert