Carolus Thermen werden für fünf Millionen Euro saniert