Outdoor swimming pool, Jump basin, Westendorf, County of Kitzbühel, Principality Tyrol, Austria