Der kleine duden : deutsches wörterbuch (Dudenverlag, 2007)