BGer 1C_77/2025 vom 26. Mai 2025 , Ersatzvornahme (Parteientschädigung), - Bundesgericht (2025)