permanent end to fighting - German English Dictionary