Integrate historische namen indices
Merge pull request #137 from geoadmin/dev_hist_names

Integrate historische namen indices