BGer 1F_7/2020 vom 4. Mai 2020 , Revisionsgesuch gegen das Urteil des Schweizerischen Bundesgerichts 1C_157/2019 vom 16. Januar 2020. - Bundesgericht (2020)