Dießbach See oder Seehorn See
In meiner angeführten, älteren Quelle, wird der See als Dießbach See bezeichnet; in einer Wanderkarte von Freytag & Berndt 2007 allerdings als Seehorn See. Internetrecherchen bringen beide Bezeichnungen - wer weiß mehr fragt wiki-peda (Peter) 10:09, 25. Jul. 2009 (UTC)