Duden. Das Herkunftswörterbuch. Etymologie der deutschen Sprache. 5. neu bearbeitete Auflage. Berlin: Dudenverlag. (Der Duden in 12 Bänden: Band 7).