BGer 5A_714/2019 vom 3. Juni 2020 , Definitive Rechtsöffnung, - Bundesgericht (2020)