This page is always in the process of being slowly changed,
hopefully for the better :-). Suggestions welcome.
Time-stamp: <2009-10-07 13:52:13 aronov>.
The truth is that it has not been touched except for filling in some
tables for a few years.
Boris Aronov,
June 6, 2012