officiel helgd för statens embetsverk liksom för skolorna.