Ungerska frihetskriget hade emedlertid utbrustit,