Coronation as the Holy Roman emperor