4. Ist der Schuldner bei nichtgehöriger Erfüllung auf Gewährleistungsansprüche
verwiesen, ist die Anwendbarkeit von Art. 82 OR eingeschränkt. Ist die Vertragssache bereits abgeliefert worden, treten anstelle des Anspruches des
Empfängers auf Ablieferung einer mängelfreien Sache die aus den Mängelrechten fliessenden Ansprüche auf Auflösung des Vertrages unter Rückgabe
der Sache (Wandelung), Reduktion der Vergütung (Minderung) oder gegebenenfalls Nachbesserung.