Der kleine Pauly (Deutscher Taschenbuch Verl., 1979)