A 10-kilometre asteroid ended the age of dinosaurs — Anecdota