Download PDF - An improvement of Lenstra's criterion for Euclidean number fields: The totally real case