formal agreement to end fighting - German English Dictionary