The gravitational million-body problem, D. C. Heggie, Piet Hut