Man muss den [Tiled Map Editor](https://www.mapeditor.org/) verwenden um die Kartendateien (`.json`) zu erzeugen.
Da die Dateien schwierig zusammenzuführen ("mergen") sind, sind wir zu dem Schluß gekommen, das die Einfachste Möglichkeit ist, das jeder der ein wenig experimentieren will sich einfach eine eigene Kartendatei `nickname.json` erstellt. Diese kann dann entweder direkt angesteuert werden oder über die Hauptkarte verlinkt werden.
Für Änderungen der Hauptkarte sollte man sich mit den Anderen über Matrix synchronisieren, damit nicht unnötig gemerged werden muss.
