German folklore
Rothensee-Sage.