The history of mental health services in South Africa. I. In the days of the Dutch East India company