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.