Pomponius Laetus, Julius, in Lexikon des Mittelalters