- Pochknecht, der
Der Pochknêcht, des -es, plur. die -e, eben daselbst, ein geringer Arbeiter, welcher die gebrannten Eisensteine auf die Pochschale führet, und, wenn sie zerpocht sind, sie durch den Durchwurf wirft.
http://www.zeno.org/Adelung-1793. 1793–1801.