And this is the part where we can agree to disagree. I was just expressing an opinion, I wasn’t trying to brand it as fact.
You might not take offense to it being used for levity (or whatever) in the context of you and your friend from Germany because you guys find it amusing. That is you.
Holocaust jokes, by definition, are rooted in hate. The Holocaust was a period in time fueled by genocidal hatred. Personally, I would still consider it hate speech. That’s me.
As I said, muting someone for their toxic behavior just cuts off communication. I don’t believe that solves the problem. Reprimanding someone (i.e. a temporary ban) for repeated, recorded toxicity could very well lead to behavioral change. That is the point I was trying to express.
Apologies if that wasn’t obvious.