Ostindien tillhörde då åtminstone till namnet,