Mathias-S
No, the name is Arvid Storsveens plass. I don't know where the name Groverud park is from, but according to the Norwegian mapping authority there's no place with that name. There are local informal names for the park, but I don't think Groverud is one of them.