The Holy Roman Empire has often been anachronistically assumed to have been defunct long before it was actually dissolved at the beginning of the nineteenth century. The authors …