Sollte dieser See nicht "Rifflsee" heißen, anstatt "Riffelsee"?  So heisst er auf der ganzen Schilderung dort, z.B. https://www.pitztal.com/de/region/lifte-und-bahnen/lifte-bahnen-rifflsee oder https://de.wikipedia.org/wiki/Rifflsee.  Die Bahn wird richtig Rifflseebahn genannt.