Duden ‒ Das große Wörterbuch der deutschen Sprache
Heinzelmännchen
Hein|zel|männ|chen, das [Heinzel = Koseform des männlichen Vornamens Heinz, nach dem Volksglauben, durch derartige Namensgebungen die Hausgeister günstig stimmen zu können]:(im Volksglauben) hilfreicher Geist in Zwergengestalt, der in Abwesenheit der Menschen deren Arbeit verrichtet:
jetzt brauchten wir die Heinzelmännchen, die alles wieder sauber machen;
Ü Ich … machte alle Arbeit ohne die »Heinzelmännchen«, die es heute gibt, wie … Waschmaschine usw. (Hörzu 51, 1974, 96).
Sie können einen Link zu dem Wort setzen

Ansicht: Heinzelmännchen