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 .