Cleaning out the algae from a pool