Durch einen Wasserschaden entstandene Deckensanierung.