Hinterthiersee, Tirol, Österreich