Documents by C. Grothoff