Classification of empty lattice 4-simplices of width larger than 2

Combining an upper bound on the volume of empty lattice 4-simplices of large width with a computer enumeration we prove the following conjecture of Haase and Ziegler (2000): Except for 179 classes, of determinant at most 179, all empty 4-simplices have width one or two with respect to some integer functional.