Der "Kleine Pauly" ist nach wie vor als dtv-Dünndruckausgabe erhältlich. Daher wurde der Artikel entsprechend geändert.
