3. Es werden keine Kosten erhoben.

4. Der Beschwerdeführer wird verpflichtet, der Beschwerdegegnerin eine Parteientschädigung
von Fr. 5'040.40 (Barauslagen und Mehrwertsteuer inbegriffen) zu bezahlen.