Berlin (AFP) Einigung auf rot-rot-grüne Koalition in Berlin (Grüne)