Putting Manual Cartographic Techniques Back into the Digital Era - A Python-based Algorithm for Enhanced Dot Density Mapping