Ontmanteling bibliotheek van Tropeninstituut kost meer dan zij gaat opleveren voor de schatkist