(dedicated to Willem de Boer van Groningen)