— Lynchning i Ungern.