BGer 5A_685/2016 vom 31. März 2017 , Vollstreckung eines Vergleichs (Eintritt einer Bedingung), - Bundesgericht (2017)