Озеро Грюнер-Зе, Австрия