The original version of this article unfortunately contained a mistake. The spelling of the Geert Pagenstert name was incorrect.