Koninklijk instt. voor de tropen centrale bibliotheek