[Achtung: Schreibweise von 1811] 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. Gefunden auf https://lexika.digitale-sammlungen.de/adelung/lemma/bsb00009133_4_1_1327
[Achtung: Schreibweise von 1811] 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.