This was my maternal grandmother's name. She was predominantly Indonesian, but had some Dutch ancestry resulting from the colonization of the country (hence the Dutch name). Does anyone have any information on it? I'm thinking it's a form of
Martina, but I'd like to get some confirmation on this.