"auto de prisión" in English