The Szabó Ervin Library in Budapest, Hungary