[VonGallifrey]

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

[kevin_thibedeau]

So the stereotype rings true then.

[mrkstu]

The one about German’s lacking a sense of humor?

[marcusb]

yeah, it was a joke and what you just linked to was sarcasm and/or mockery.