Check in which polygon a point is with Geopandas

Question

Folks,

Say I have two datasets, one with polygons attributed to districts...

...and one with points attributed to places.

I want to add