Minor punctuation and printer errors repaired.