Der große Duden in 9 Bänden - Grebe, Paul (Der große Duden in 9 Bänden, 1959)