Potresti conoscere questo luogo anche con i seguenti nomi:
Grosser Mühldorfer See, Grosser Muhldorfer See