Zimmerlinge

Zimmerlinge, nennt man beim Bergbau, auch bei den Mineurs, diejenigen Leute, welche mit dem Zimmern und Aufstellen der Ausbauung der unterirdischen Gänge, und Minenbatterien, beschäftigt sind; die, welche die Gänge ausgraben, heißen Häuer (Hauer).

Quelle: Rumpf, H. F.: Allgemeine Real-Encyclopädie der gesammten Kriegskunst (Berl. 1827)

Glossar militärischer Begriffe