For this, I added
resize:both;overflow:auto; to my
div#map. It now has some ugly scrollbars (a problem for later) and I can resize it by dragging the corners.
How can I make Leaflet recognise the changed size of the div now and make it update the map contents accordingly (fetch tiles, fire some event so I can request some POIs via AJAX)?