München hat offiziell einen neuen Oberbürgermeister: Dominik Krause (Grüne) löst Dieter Reiter (SPD) ab, der nach zwölf Jahren abgewählt wurde. Hinter den Kulissen laufen unterdessen weiter die Koalitionsverhandlungen für den Stadtrat.