Eisensumpferz, so v.w. Raseneisenstein.
Pierer's Lexicon. 1857–1865.
Eisengraupen — Eisengraupen, rundlich brechendes Eisensumpferz … Pierer's Universal-Lexikon