Translation of "Gerichtsverfahren einstellen" in English