Park recently changed name to Cecilie Thoresens park, now named after a famous woman's rights pioneer.

Norwegian Mapping Authority's map service Norgeskart has this information updated in their own maps:
https://norgeskart.no/#!?project=norgeskart&layers=1002&zoom=16&lat=6693703.91&lon=293699.78