Dat was inderdaad niet de bedoeling.
Had toch al aardig ver ingezoomd dacht ik.
Naar mijn idee was die wel gesloten, maar dat is dan misschien fout gegaan doordat die samengevoegd is geworden.

Thanks.
En sorry voor de moeite.

Heeft geen officiële benaming.
Gemeentepark is een overkoepelde term.