Jezioro Jeleń (Giling) – historia i stan obecny