[61] [61] Die Mine heißt 1) im Bergbaue eine gewisse Hölung, welche zu Aufsuchung und Förderung der Erze in die Erde gegraben wird; 2) in der Geschützkunst ein holer Gang oder Keller unter der Erde, welcher mit Pulver angefüllt wird, um das darüber befindliche feindliche Bollwerk oder andere Lasten in die Luft zu sprengen; daher
der Minirer ein solcher, welcher zu diesem Behuf gebraucht wird – ein Schanzgräber.