Pressegersee, Austria