der Bodenverfestigung (Bodenverbesserung) entsprechende Maßnahmen zum Festigen und Verbinden loser Gesteinsblöcke und zur Erhöhung der Tragfähigkeit des Gebirges. Der Gebirgsverfestigung dient v. a. das Einpressen von Zementleim oder anderer Bindemittel, zur Oberflächenverfestigung wird Zementmörtel aufgespritzt.