Translation of "Gerichtsverfahren beendet" in English