BGer 6B_531/2019 vom 20. Juni 2019 , Verfahrenseinstellung; Entschädigungsfolgen, - Bundesgericht (2019)