For menus, buttons, and instructions. Your learning content stays in English.
/bəˈteɪvi.ə/
Historical name for Jakarta, Indonesia.
“Batavia thrived during the spice trade era.”