Indien und Pakistan haben einen Waffenstillstand vereinbart. Pakistans Premier dankt US-Präsident Donald Trump für seine Vermittlungsarbeit. Ob der Konflikt sich tatsächlich beruhigt, ist noch nicht abzusehen.