Der kleine Duden Fremdwörterbuch , Dudenredaktion: