Wann gilt ein Vertrag als nicht erfüllt?