Der kleine Pauly (Der kleine Pauly, 1979)