Some changes to the German translation