firades konungens namnsdag i militäretablissementets festligt dekorerade exercishus.