Fossil mammals from two fissure deposits at Punung (Java) with some remarks on migration and evolution of mammals during the Quaternary in South East Asia - Badoux, Dick Marius (Kemink, 1959)