Regierungsbildung in Berlin: Bürgermeister Müller für Rot-Rot-Grün