About 11 to 16 million years ago, in the middle of the Miocene period, more than 100 caddisflies met their end in a lake.