Я что-то не вполне понимаю вашего тезиса. Ведь из энциклопедий 7-е ноября не изъяли, только праздник праздновать перестали - ну так не праздник уже. То есть, помнить-то помнят все, но не празднуют. Что в этом такого? Считает ли вы, скажем, что в ФРГ должны были продолжать праздновать годовщину пивного путча и день рождения Фюрера?