Austrempeln (Kriegsw.), Minen mit Holz aussetzen u. verschalen, s.u. Mine.
Pierer's Lexicon. 1857–1865.
Trempeln — Trempeln, so v.w. Austrempeln … Pierer's Universal-Lexikon