Johannes Nider's witchcraft treatise,
Formicarium seu dialogus ad vitam christianam exemplo formicae incitativus, first appeared in 1437 with a second edition published at Strasbourg in 1517, and while Nider is credulous in many respects he favors the view that Diana and the night ride are delusional.