the war between Germany and the allies formally ended with the what?