Ein “kleines Tool” fällt mir da jetzt auch nicht ein, aber mit Global Mapper geht es easy; hab’s getestet.
Solltest Du im Weiteren nicht fündig werden, darfst Du auf mich zurückgreifen, ich konvertiere dir die benötigten Daten (vorausgesetzt Du willst nicht gleich ganz Europa, o.ä. konvertiert haben).
mfG Michael
