Original: By the Treaty of Meerssen of 870, Toul became part of East Francia, the later Holy Roman Empire.
Simplified: When the Carolingian Empire was split by the Treaty of Meerssen, in 870, Toul was  given to East Francia.