Original: He was then also formally crowned King of Burgundy at Arles on 30 June 1178.
Simplified: He was crowned King of Burgundy at Arles on 30 June 1178.