Exportliste in eine Datei Python

textfile = open("a_file.txt", "w")
Fantastic Fly