Use mapping technology to handle zoom details

[Matthimatiker]

In order to deal with very large maps (#688) or with different levels of detail when zooming or multiple landscapes (#60) use battle-proven OpenStreetmap (https://github.com/mapbox/awesome-vector-tiles) technology. This would also fix svg pan-zoom related issues (#438 #471 )

E.g. try to use Google maps, assign coordinates to services and connect them via routes.
It might even be possible to change the textures.

Acceptance criteria

• [ ] present the landscape map in an OpenStreetmap style view (e.g. https://react-leaflet.js.org/)
• [ ] instant map recreation and reloading must still be available (re-/generate map tiles on the fly)
• [ ] keep game-style appearance (hexagon groups etc.) and all current functionality (e.g. click on map items)
• [ ] show live status on the map (like today)
• [ ] same or better frontend performance

[bonndan]

We now have SVGs with zoom and pan in the browser, which is similar to maps in terms of user experience. Is there anything more that maps provide that might prove useful?