Seit gestern ist er da, der Koalitionsvertrag der Kleinen Koalition.