0 holy roman empire | Definition of holy roman empire