rot-rot-grüne Senatskoalition