Do you remember swimming here? Andy Hutchinson dives into the history of the former Leeds International Swimming Pool.