another explanation is that the name gnadensee is derived from mary, mother of god, the "lady of our grace", and is an ellipsis of the word "gnaden[frau]see" ("lady of grace lake"), as the monastery in mittelzell was dedicated to saint mary.