> Jochstubn and Jochstubnsee, Brixen im Thale, County of Kitzbühel, Principality Tyrol, Austria