IF I HAD A HAMMER: Charlemagne's grandfather, his surname means "hammer"