Update map with satellite data.

python_scripts/parse_wurzburg_open_data/parse_open_data.py

@@ -43,7 +43,14 @@ coordinates = ['latitude', 'longitude']
 interesting_columns = ['tree_number', 'species_latin', 'latitude', 'longitude']
 lat_min, lon_min, lat_max, lon_max = df[coordinates].agg(['min', 'max']).stack().values
 
-interactive_map = folium.Map()
+interactive_map = folium.Map(tiles=None,)
+folium.TileLayer(
+    tiles='https://server.arcgisonline.com/ArcGIS/rest/services/World_Imagery/MapServer/tile/{z}/{y}/{x}',
+    attr='Esri',
+    name='Satellite',
+).add_to(interactive_map)
+folium.TileLayer(tiles='cartodb positron', name='CartoDB').add_to(interactive_map)
+folium.LayerControl(collapsed=False).add_to(interactive_map)
 interactive_map.fit_bounds([(lat_min, lon_min), (lat_max, lon_max)])
 
 for same, grouped_df in df.groupby('tree_number'):
@@ -59,10 +66,10 @@ for same, grouped_df in df.groupby('tree_number'):
     folium.Circle(
         location=[lat, lon],
         tooltip=f"{species} ({species_de})",
-        radius=50,  # [m]
-        color="black",
+        radius=2,  # [m]
+        color="red",
         weight=1,
-        fill_opacity=0.9,
+        fill_opacity=0.3,
         opacity=1,
         fill_color="green",
         fill=False,  # gets overridden by fill_color