Translation of "Compensation grouting" in German