https://wp.jochen.hayek.name/blog-en/2017/11/15/extract-timestamp-from-a-gzip-file/