BGer 1C_112/2022 vom 7. Juli 2023 , Mise en conformité, - Bundesgericht (2023)