mi , r ( 7 Juli , 8f.