Did you know that Pushkin House is another name for the Institute of Russian Literature in St. Petersburg ?