BGer 5D_9/2023 vom 20. Januar 2023 , prozessleitende Verfügung (definitive Rechtsöffnung), - Bundesgericht (2023)