Formularmäßige Aufrechnungsverbote, die unbestritten und rechtskräftig festgestellte Gegenforderungen einschließen, entfalten selbst im geschäftlichen Verkehr zwischen Kaufleuten und anderen Unternehmern keine Wirksamkeit, weil sie mit dem Grundgedanken der die Aufrechnung betreffenden gesetzlichen Bestimmungen nicht in Einklang stehen und deshalb den Vertragspartner des Klauselverwenders entgegen den Geboten von Treu und Glauben unangemessen benachteiligen. Dabei findet eine geltungserhaltende Reduktion in der Weise, dass die Unwirksamkeit nur eintritt, soweit die Aufrechnung mit rechtskräftig festgestellten, entscheidungsreifen oder unbestrittenen Forderungen erklärt wird, nicht statt.