Horchhaus, das

Das Horchhaus, des -es, plur. die -häuser. Diminut. das Horchhäuschen, im gemeinen Leben Horchhäusel, im Bergbaue, ein kleines Behältniß, worin ein Bergjunge gegen die Zeit des An- und Ausfahrens stehet, und auf den Schlag der Uhr horcht, damit er den Häuern das nöthige Zeichen geben könne.