Neuer Bürgermeister in Berlin: Müller übernimmt Nachfolge von Wowereit