general Krudener att ställa 40,000 man infanteri,