¿Quién fue el presidente austriaco de la república entre 1945 y 1950?