Doktor Szinnyei , den förut omtalade ungeungerske