Ullmann's encyclopedia of industrial chemistry. Index on CD. User's guide (VCH Publishers, 1995)