"Anton J. L. van Hooff"