Amoklauf in Florida: 17 Menschen werden durch Schüsse getötet