what is the official name of the country represented by the president ?
republic of austria