Gosudarstvennaja biblioteka im. Sečeni. (Vengerskaja nacional´naja biblioteka im. Sečeni, 1972)