18 SCHNEUWLY/VETTER, Die Realvollstreckung handelsgerichtlicher Entscheide, in: Jusletter 5. September 2016, Rz. 14. 19 SCHNEUWLY/VETTER (Fn. 18), Rz. 29. 20 SCHNEUWLY/VETTER (Fn. 18), Rz. 34 ff. - 11 - Fr. 4'000.00 verrechnet (Art. 111 Abs. 1 Satz 1 ZPO). Die Gesuchsgegnerin hat der Gesuchstellerin die Gerichtskosten, d.h. Fr. 4'000.00, direkt zu ersetzen (Art. 111 Abs. 2 ZPO).