Is Tor still safe after Germany’s ‘timing attack?’ Answer: It’s complicated...