[nohuck13]

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...

[Tijdreiziger]

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.