BGer 1C_127/2022 vom 10. Mai 2023 , nachträgliche Baubewilligung, - Bundesgericht (2023)