Input (grade 7): By the Treaty of Meerssen of 870, Toul became part of East Francia, the later Holy Roman Empire.
Output (grade 7): When the Carolingian Empire was split by the Treaty of Meerssen, in 870, Toul was given to East Francia.