Translation of "Deckensanierung" in English