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)