Danke für den Tipp.
Hab --reduce-point-density mit unterschiedlichsten Werten (1-100) ausprobiert - zuerst im mkgmap-cfg-file, dann noch im Batch-File, in dem mkgmap aufgerufen wird. Ich konnte keinerlei Effekt erkennen. Die Datenmenge bleibt nahezu gleich.
Was mache ich wohl falsch?
T.