Der Mummelsee im Schwarzwald – Seejungfern, ein versunkenes Volk und ein König unten drin

Kennt jemand außer mir noch die Mummelsee-Sagen richtig? Der See liegt auf der Schwarzwaldhochstraße unterhalb der Hornisgrinde, dunkler Karsee, fast schwarzes Wasser, sehr tief wirkend (in echt nur ~17 m, aber sieht bodenlos aus). Der Name kommt wohl von "Mummel", der Seerose ODER von "vermummen", ……