Wird auf jeden Fall saniert: Das Hardtbergbad