The story
Etymology from Wiktionary, CC BY-SA 4.0.
Today it means: type of mill machine that crushes material by pounding rather than grinding, either for further processing or for extraction of metallic ores Full definition →
Etymology from Wiktionary, CC BY-SA 4.0.