Einwechsler

Einwechsler, heißt ein doppelter Türstock, welcher in den Minengängen, wenn die Ausbauung auf längere Zeit dauern soll, noch zwischen den Ansteck- und Helf-Türstöcken aufgestellt wird.

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

Glossar militärischer Begriffe