Did you know that the original type specimens of the Electrostephanus fossils may have been burned up during World War II?