Tragöß, Oberort, Grüner See