Given that the commenter left another comment about having been misinformed, I don't think it was a Joke.
https://news.ycombinator.com/item?id=44008622
So the stereotype rings true then.
The one about German’s lacking a sense of humor?
Ja
yeah, it was a joke and what you just linked to was sarcasm and/or mockery.