Da war ich ja etwas voreilig. Es war damals zu diesem Zeitpunkt ja noch gar nichts geschehen, und der Koalitionsvertrag wurde erst später unterschrieben:

www.tagesschau.de/inland/groko-koalitionsvertrag-103.html

Ist jetzt nach dem Mitgliedervotum eigentlich auch schon der Koalitionsvertrag unterschrieben? Sowas bekommt man in der Presse ja nicht so richtig mit!