This paper was kept up to date over the years by David.