BGer 1C_241/2020 vom 10. Juni 2020 , Ermächtigungsverfahren, - Bundesgericht (2020)