Als erster Grüner ist Dominik Krause zum Münchner Oberbürgermeister gewählt worden. Das in der bayerischen Hauptstadt vorherrschende Lebensgefühl trifft er gut.