Germany set out to delete hate speech online. Instead, it made things worse. (Washington Post)