Wie kann man die Map ID ändern?

[Marian]

Mit einer umständlichen Methode kann man sie doch ändern: Immer wieder leere Maps erstellen, bis man die Wunsch-ID hat. Danach die Maps löschen, die ID bleibt erhalten. (Das sieht man oft bei einigen Projekten, wo nach der Mapdatei bei z.B. 0008 plötzlich 0017 kommt.)
Nur... Sinn?

...

das liegt glaube ich eher daran, dass die leute zwischendrin mal festgestellt haben, dass eine map unnötig ist oder dass alte maps einfach überflüssig wurden usw.