Simeon ten Holt in de 'De buis van Eustachius',