9 maj bör egentligen högtidlighällas som enärlig