Job Dronkers Dec 2024: This article has been updated with information from more recent scientific publications.