- Pochkern, der
Der Pochkêrn, des -es, plur. doch nur von mehrern Arten, die -e, eben daselbst, kleine Steine, welche zu Verfertigung des Gestübes mit den Kohlen klein gepocht werden sollen, bey dem Durchwurfe aber zurück bleiben.
http://www.zeno.org/Adelung-1793. 1793–1801.