mayor of a place in Germany — mayor of a German town