Produced by Mike Pullen and Delphine Lettau, from files

obtained from Gutenberg Projekt-DE.