Ist Deutschland völkerrechtlich noch im Krieg?