Ohne entsprechende Ortskenntnis (local knowledge)kann man das auch nicht wissen, auch nach der Wende waren dort noch Schulklassen schwimmen!
In einigen Luftaufnahmen(Esri) ist er noch klar erkennbar, deswegen gab es vor Jahren auch Fehlerhinweise, dass sich dort Gebäude befinden, die es dort nicht gab, aber den alten Pool , und genau deshalb war er erfasst, um fehlerhaften Mapping  ortsunkundiger Mapper vorzubeugen, aber naja, mehr braucht man diesbezüglich ja nicht zu schreiben...!