The High Middle Ages was the formative period in the history of the modern Western state. Who was king when the Magyars settled in Hungary?