Input (grade 6): He was then also formally crowned King of Burgundy at Arles on 30 June 1178.
Output (grade 3): He was crowned King of Burgundy at Arles on 30 June 1178.