Sólo en 1899 encontró Anton Hagedorn su nombre de nuevo.