In Jeremiam prophetam commentarij / Michaelis Ghisleri - Ghislerius, Michael