He was being facetious...
I wasn't actually joking about the vegan part, though. I
am vegan. But banning people for being named after evil people is stupid. Ban someone if they're racist in chat but just because someone gets a boner when they pretend to be a German general in a video game doesn't mean you have to get bent out of shape about it and pretend the Holocaust is happening again. I lost like, most of my family tree to the Nazis but nobody needs to be banned for having a name that reminds me of that. Hell, I'd rather that nobody forget what the Nazis did, or what Stalin did, and if we go around banning people for just being tangentially related to that, we're going way too far.
So yeah, don't ban people just for having evil names. But I agree with the OP that trolls need to get banned.
(I do want to note that I think that anyone who names themselves after some high Nazi official is super creepy and fucked up, though, because I mean come on, NAZIS...)