hedersdag af historifl betydelse.