Some revision of the German translation.