BGer 1C_400/2021 vom 7. Juli 2023 , Wiederherstellungsbefehl, - Bundesgericht (2023)