También podrías conocer este lugar por los siguientes nombres:
Großer Pätsch-See, Grosser Patsch-See