mayor of Debrecen — political office in Hungary