Fragment and sum values of Polygons in GeoPandas

Question

I have a GeoPandas dataframe with a.o. polygons as \'geometry\' column and a corresponding value in a different column. E.g. like such:

import numpy as np
fro