[798]Die Pochmühle, plur. die -n, eben daselbst, eine Mühle, in welcher die Erze gepocht werden; doch nur in den Zinnwerken, wo sie auch wohl das Uhrwerk genannt wird. Bey andern ist der Ausdruck Pochwerk üblich.
Quelle:
Adelung, Grammatisch-kritisches Wörterbuch der Hochdeutschen Mundart, Band 3. Leipzig 1798, S. 798.