Problem

We are currently using Leaflet.js to render the map. This limits us to raster-tiles and we can't dynamically change the language of the labels.

Suggestion

➡️ Switch from Leaflet.js to Mapbox-GL-JS.
⚠️ Some browsers or devices do not support WebGL. Do we need have a fallback for them?

A few links for implementing Mapbox-GL-JS:

Installing Mapbox-GL-JS
https://docs.mapbox.com/help/tutorials/use-mapbox-gl-js-with-react/
https://docs.mapbox.com/mapbox-gl-js/example/check-for-support/

Changing the language in Mapbox-GL-JS
https://docs.mapbox.com/mapbox-gl-js/example/language-switch/
https://github.com/mapbox/mapbox-gl-language