Duden 11 - Redewendungen, Dudenredaktion