A map legend (key) would be a great addition to the map on Android --- preferably with translations matching the map's language
@pdz Hello, thank you for suggestion. Meanwhile, you can find the full map legend here.
Thank you, yes I saw this link somewhere else, too.
The trouble is that it doesn't work on a mobile browser, only on desktop...