[752] Stampfwerk, Stampfmühle, eine Art Pochwerk, welches früher in der Papierfabrikation (Stampfgeschirr), in der Ölschlägerei (Ölstampfe) etc. und zur Zerkleinerung von Erzen und Gesteinen sowie bei der Fabrikation der Metallfarben noch jetzt in Gebrauch ist.