München bekommt einen grünen OB.