BGer 5D_123/2023 vom 7. Juli 2023 , Kosten (definitive Rechtsöffnung), - Bundesgericht (2023)