Title: Dictionarium historicum, criticum