Tor anonymity compromised by law enforcement. Is it still safe to use?

German law enforcement agencies have managed to de-anonymize Tor users after putting surveillance on Tor servers for months.