trupperna hade utrymt^Milano , och då vapenhvilan af den 9 augusti var afslutad.