[592] Die Gerinnhaue, plur. die -n, im Bergbaue, eine eiserne Haue, die Gerinne zu den Pochwerken damit auszuhauen.