Aus diesem Buchtitel von 1705 geht hervor, dass es im Harzer Bergbau "Puch-Kinder" gab, und Google belehrt mich, dass Puchwerk eine Nebenform von Pochwerk ist (zB hier). Wenn das stimmt, sollte die Nebenform hier erwähnt werden und ebenso, dass in den Pochwerken auch Kinder arbeiteten. -- Rabanus Flavus 10:44, 2. Dez. 2022 (CET)