Johannes Trithemius, conocido como Johann von Heidenberg (n.