\author{Jan Beran (principal) and Martin Maechler (speedup, fine tuning)}
