The boy was found in the bushes in that park. He had been stabbed several times, police said. He was resuscitated, but died on the spot.
The police then started an investigation, in which camera images and witness statements are collected.
A 15-year-old boy turned himself in to police today. He has been arrested for involvement in the stabbing. Its precise role is under investigation.