Die Anwendung des Erd- oder Bergbohrers.