Ohne den Einsatz zahlreicher Ehrenamtlicher gäbe es das Gartenhallenbad heute vermutlich nicht mehr.