Orden de excomunión de Gregorio VII para Enrique IV: