München bekommt einen Grünen-Oberbürgermeister. Das liegt zum einen an einer pragmatischen Ausrichtung, zum anderen an der Struktur der Stadtbevölkerung.