Der große Duden in 10 Bänden (Bibliograph. Institut, 1972)