A fossil found 250 years ago was recently identified as a prehistoric crocodile that lived in the tropical waters of what is now Bavaria during the Jurassic period.