( 13 ) Juli skall således icke mer i Ryssland vara en högtidsdag ; men den skall blifva ersatt med den 22 Juli ( 3 Aug.