Burkhard Jung hat als Oberbürgermeister in Leipzig den Hut auf.