4. Der Beschwerdeführer hat der Beschwerdegegnerin eine Parteientschädigung von
Fr. 3'088.80 zu entrichten (Barauslagen und Mehrwertsteuer inbegriffen).