— Kung Carl Johans kröningsmautel.