Python las die GZIPPED -Datei

# Basic syntax:
import gzip
with gzip.open("your_file.gz", mode="rt") as file:
    file_as_list = file.read().splitlines()
# Where:
#	- gzip.open allows you to open gzipped files like you would open regular
#		files with open
#	- the default mode is rb (read binary), which loads the file contents as
#		binary strings. Use mode="rt" to read the file as text
#	- .read() reads the entire file
#	- .splitlines() splits the file by newline characters to create a list
# Note, see answer to "python open" for more ways to open and parse files
Charles-Alexandre Roy