Hacker News Reader

The name Santa Claus evolved from Nick's Dutch nickname, Sinter Klaas, a shortened form of Sint Nikolaas (Dutch for Saint Nicholas)

https://www.history.com/.amp/topics/christmas/santa-claus#si...

It’s actually Sinterklaas (without a space) and we still call him that :) We also ended up re-importing the American Santa Claus, so these days we have two festive holidays in December.

The first mention of this version of Saint Nicholas's name has the form "St. A Claus" and appeared in the New-York Gazette of 20 Dec 1773.[1] The same issue also first reported some incident regarding tea in Boston harbour. Nice coincidence.

[1] Source: https://boston1775.blogspot.com/2016/12/st-claus-was-celebra...

The Tim Allen movie series in Spanish is titled "Santa Cláusula".