Gundissalinus, Dominicus, active 12th century