aen 9 Juli ; ångf.