var julgranen införd i de högre kretsarne i Petersburg.