Johann August Ernesti könyvtárának Lipcsében 1782. október 28-án és a következő napokban tartott aukcióján beszerzett könyvek katalógusa