Gebirgsdruck

... German mining jargon for => rock pressure in mining