red banners and yellow stars -- but no real Christmas trees in public places