JOSM.de gendert nun also schon im Hauptmenü.

https://www.openstreetmap.org/user/q_un_go/diary/397515