Hans namn var general Haynau.