Das Bundesgericht hat im Falle einer Tilgung durch Verrechnung entschieden,
dass der Richter im Rechtsöffnungsverfahren nach ausdrücklicher Gesetzesvorschrift die Einrede der Tilgung nur anerkennen darf, wenn dafür der Urkundenbeweis erbracht wird. Sofern die Tilgung auf die Verrechnung mit einer
Gegenforderung gestützt wird, muss nach Lehre und Rechtsprechung die Gegenforderung des Schuldners ihrerseits durch ein gerichtliches Urteil im Sinne
von Art. 81 Abs. 1 SchKG oder durch eine vorbehaltlose Anerkennung der Gegenpartei belegt sein.