Aquatic vegetation in Pfisters Pond