Adjustments to the German translation.