Translation of "Bauwerkssanierung" in English