[297] Minirkunft, alle zur geschickten Anlegung von Minen erforderlichen Kenntnisse u. Fertigkeiten als Ganzes betrachtet, s. Mine.