Anselm, of Buxheim, 17th century.