rrhorsdagen den li Juli 1872,