हेन्री तिसरा, पवित्र रोमन सम्राट