Hauptquelle · Grimm (DWB, 1854–1961)
minierer m.
minierer , m. der da miniert: mineur, minirer, oder meister so die minen macht. Böckler kriegsschule (1668) 1027 ; ein minierer, fossor, cunicularius. Frisch 1, 664 b ; den minierer anhängen, adducere qui propugnacula suffodiant. ebenda; wie der minirer anzuhängen. Quincys kriegskunst deutsch von Jäger 525 ; darhinter ( hinter bohlen und sandsäcken ) arbeiten sich nun die minirer, so gut sie können, in die mauer ein. 526.