magyar invasion