d) Gemäss Grundstückinformationssystem (GRUDIS) sind die Parzellen Nr. D.________ bzw. E.________ gegenseitig mit einem Grenzbaurecht belastet. Als Grundbuchbeleg dieser Dienstbarkeit gilt gemäss GRUDIS der Beleg 1993/2712. Diesem Grundbuchbeleg entspricht die Urschrift Nr. 7899 bzw. die öffentliche Urkunde «betreffend Ausübung eines Kaufrechtes, Grundstückszusammenlegung und Parzellierung»11. Ziffer 2.4 dieser Urkunde äussert sich ausdrücklich zum Verhältnis zum früher abgeschlossenen Kaufvertrag gemäss Urschrift Nr. 7842, auf den sich die Beschwerdeführenden berufen.12