¿Qué jerarquía eclesiástica debía coronar al emperador del Sacro Imperio Romano Germánico?