Hoher Kranzberg, Lauterersee, Ferchensee