Update hmtnames.csv

added Democritus