Die Dinosaurier starben wohl im Frühsommer