BGer 1C_210/2023 vom 5. Dezember 2023 , Vollstreckung, - Bundesgericht (OpenCaseLaw — opencaselaw.ch, 2023)
Docket: 1C_210/2023