Ostindien , Petersen (Ostin-