tirol—de regio Tirol, bestaande uit de Oostenrijkse deelstaat Tirol en het in Italië gelegen Italiaans Zuid-Tirol