Reparatur

... German mining jargon for => repair in mining