Translated from the Dutch.