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.