Translation of "Gerichtsnotorisch" in English