Update hmtnames.csv

added Dorotheus