Contribution to the knowledge of the fossil mammalian fauna of Java - Maarel, Franciseus Hendricus van der (P. Den Boer, 1932)