Der Große Duden (Bibliographisches Institut, 1983)