Der kleine duden : deutsches wörterbuch (Bearbeitet von der Dudenredaktion ;, 2007)