Translation of "Gerichtliche verwertung" in English