af den Ungerska administrationen.