Ein 13-Jähriger hatte an einer Bushaltestelle auf einen Mitschüler eingestochen und diesen schwer verletzt.