Just a quick followup - I checked the resized partition with resize2fs on my (other) Linux box and it reported that there was "nothing to do". FYI, I previously ran gparted on the other Linux box, not on the Raspberry Pi, so it seems to have worked without problems (so far).
Thanks for your help Matthias.
Thanks for your help Matthias.