BGer 6B_115/2020 vom 30. April 2020 , Überprüfung des Vollzuges einer stationären therapeutischen Massnahme gemäss Art. 62d StGB; Grundsatz der Verhältnismässigkeit etc., - Bundesgericht (2020)