as de allierades armi i juni är 1793;