BGer 1C_580/2019 vom 12. Juni 2020 , Destruction de données personnelles consignées dans un dossier de police judiciaire, - Bundesgericht (2020)