The social world of Batavia