BGer 1B_232/2018 vom 4. Juni 2018 , Procédure pénale; déni de justice, - Bundesgericht (2018)