Rot-grün-roter Koalitionsvertrag in Berlin steht