horsdagen , ren 12 Juli i 1798.