Random fun fact for Americans that grew up calling Santa “Kris Kringle” — this name comes from Christkindl

The pronunciation is even less butchered when you realize Christkinkle was the Pennsylvania German form.

As Santa Claus became the predominant gift giver in the US and people lost touch with PA German, the word was reinterpreted as a first and last name.

Did anybody else know this? And anybody else grow up mostly calling Santa this?