JOSM: Datei als GPX exportieren funktioniert neuerdings nicht

Hallo, ich stelle mich schon wieder zu dämlich an. Heute war ich mal wieder (nach einigen Wochen Abstinenz) an JOSM, natürlich frisch runtergeladen (Build 2255).
Leider funktioniert auf die Funktion: ‘Datei als GPX exportieren’ nicht mehr. Der entsprechende Eintrag im Menü ist grau. Früher war das nie und ich konnte immer auch als GPX speichern.

Was muss ich machen, damit ich OSM-Karten wieder zu GPX konvertiert bekomme?

Gruß Michael

Ebenenauswahl rechts aktivieren (Alt+L), falls sie nicht ohnehin schon angezeigt wird. Dort Rechtsklick auf die Ebene und entsprechenden Menüpunkt wählen.

Alternativ nach genanntem Rechtsklick erst mal in eine GPX-Ebene umwandeln, dann funktioniert auch der Eintrag im Datei-Menü wieder.

Danke, das hat funktioniert.