Lower Rotgüldensee in Hintermuhr, Austria.