Der kleine Duden : Deutsches Wörterbuch. (Dudenverlag, 1992)