AsgerFrank
Yes, indeed. Updated now. Thanks.
In spite of being right in my neighborhood, I've overlooked the the lack of name, although it is well-known and required e.g. in connection with it's "famous" outdoor concerts.