: Clavodorum kristiani.