Definition of "Tyrol"