I get what you’re saying. I wouldn’t pick it for myself. Still, he’s from Switzerland where German is a local language, and that’s a normal German word outside

I get what you’re saying. I wouldn’t pick it for myself. Still, he’s from Switzerland where German is a local language, and that’s a normal German word outside the Nazi usage. It wasn’t one of the ones they invented themselves. I think it’s closer to, say, “beer hall”, which isn’t inherently Nazi even though “beer hall putsch” was their thing. They can still have beer halls.