Heinzelmännchen (von Heinz, einer Koseform für Heinrich), Name von geschäftigen Hausgeistern, Kobolden, die heimlich Hausarbeiten besorgen.
Brockhaus’ Conversations-Lexikon. Allgemeine deutsche Real-Encyklopädie13. Aufl., Leipzig: Brockhaus 1882–1887 · Bd. 9, S. 70Scan: Polnische Nationalbibliothek (Polona) · gemeinfrei