mayor of Linz — political office in Austria