BGer 1B_520/2019 vom 15. April 2020 , Droit pénal administratif; requête d'accès au dossier, - Bundesgericht (2020)