Pleistocene mammals of Europe. (2017)