Kung Karls graf är ett storartadt byggnadswerk,