Restoration of Eutrophic Lakes by Phosphorus Precipitation, with a Case Study on Lake Gross-Glienicker