Gosudarstvennaja biblioteka im. Sečeni. (Országos Séchenyi Könyvtár, 1964)