bibliotek , institutet vid Manilla.