BGer 9C_381/2023 vom 12. Juli 2023 , Rechtsverzögerungs - Bundesgericht (2023)