the rest of the german tyrol became the austrian federal state of tyrol