Definition of "Batavia"