Tirol er det tyske navn for Tyrol.