Berlin: Rot-Rot-Grün wählt Müller zum Regierendem Bürgermeister