Knivstikkingen på Tjensvoll: 16-åringen fikk medisinsk behandling av patruljen på stedet