Obersee (Lake Constance), Austria