The readme still uses `Gierke`, though Olivers last name changed already quite some time ago. We should update the code snippet accordingly.