Translation of "Judicial commissioner" in German