Ist dies das ehemalige Becken des Familienbades Floriansmühle?
In https://de.wikipedia.org/wiki/Familienbad_Floriansm%C3%BChle ist ein Foto (https://de.wikipedia.org/wiki/Familienbad_Floriansm%C3%BChle#/media/Datei:Floriansmuehlbad_1975.jpg) auf dem man das Schwimmbecken sehen kann.