" Nikolai-dagen borde vara enåminnelsedag