Revised German translation.