Fusillade de Munich : cinq mineurs et quatre adultes décédés (police)