Damit wird dem Grundsatz der Verhältnismässigkeit Rechnung getragen. Die Verwahrung soll als "ultima ratio" nur unter qualifizierten Voraussetzungen möglich sein (Urteil des Bundesgerichts 6B_109/2013 vom 19. Juli 2013 E. 3.3. und 3.4.).