högtidsdag är nu » dekreterad » af krigsministern.