Since the victorious Battle of Lechfeld against the Hungarians in 955, Michael was the patron saint of the Holy Roman Empire and still is the patron saint of modern Germany and other German-speaking regions formerly covered by the realm.