BGer 5D_155/2023 vom 7. November 2023 , Definitive Rechtsöffnung, - Bundesgericht (2023)