Opening stedelijk zwembad, 1972