från ungerska frihetskrigets tid.