As Alan Pollard noted, the library was renamed Rossijskaja gosudarstvennaja biblioteka. Or I should say, it was being renamed that when I was there in '93. But the propuska still had Biblioteka imeni Lenina on them, and that was still (then, anyway) the name of the metro station. Keith Goeringer keg at violet.berkeley.edu