Die Lücke zwischen dem Gewaltverbot des Völkerrechts und einem möglichen Bedarf an gewalttätiger Beendigung von Menschenrechtsverletzungen