Update German translation, incorporating comments from #988.