The fossil record of deinotheres in the Jura Mountains and the specific diversity of European deinotheriids