BGer 1B_302/2019 vom 8. Juli 2019 , Procédure pénale; déni de justice, - Bundesgericht (2019)