Wilhelmsthal. Knapp 1,7 Millionen Euro kostet Sanierung.