Hoher Kranzberg, Ferchensee, Lautersee und Ederkanzel