[586] Eisenmann, so v.w. Eisenglimmer.
Adelung-1793: Eisenmann, der
Herder-1854: Eisenmann
Pierer-1857: Eisenmann [2]