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