namnet Karolus , det germaniska Karl , samt håres af hl.