helgfria Måndagen i Juli 1872.