Zedler:Rollpochwerck, oder Rollpochberg
Rollpochwerck, oder Rollpochberg, wie es die Bergleute aussprechen, ist eben wie ein ander Pochwerck, nur daß das Ertz oder Berg hier unter die Pochstempel gerollet, und nicht Schauffelweise darf untergeschürret werden.