The correction

I am happy to post this correction after a reliable source gave me the correct information. These little German Christmas men are actually called "Graettimaenner" (kind of pronounced like: gretti-menner). I am pleased to have learned something new. Thank you, Sherri!