German police rush to school after attack
Agence France-Presse
Witnesses said the attacker entered school at around 9:00 am (0700 GMT) and attacked the girl, who has been taken to hospital, police said. Germany is on high alert after a 17-year-old shot dead 15 people at a school and in the surrounding area in Winnenden in March.