Some corrections and more translation