600 menniskor omkommo på Gibraltars redd,