Hinweis: Aus technischen Gründen haben die Python-Dateien die Endung "*.txt", nach dem Download einfach umbenennen in "*.py". Alternativ: Die zip-Datei (gepackt) herunterladen . . .