Då ungerska frihetskriget utbröt,