https://informatik-apps.de/python/jelly_py/jellypy.html