district mayor

head of city district in Germany