Digitally manufacturing detailed shaded city maps with Python, PDAL and GDAL tools from LiDAR, DSM and OSM data!