pionier der bergmechanisierung thomas schilter