Latest sync of all.json.gz is broken

[johannesduesing]

The lastet sync of all.json.gz seems to me seems broken. When opened with 7ZIP it reports an CRC-Error, when programatically decompressing it in Java i get

java.util.zip.ZipException: Corrupt GZIP trailer
	at java.base/java.util.zip.GZIPInputStream.readTrailer(GZIPInputStream.java:225)
	at java.base/java.util.zip.GZIPInputStream.read(GZIPInputStream.java:119)
	at java.base/java.io.FilterInputStream.read(FilterInputStream.java:106)

None of those errors occur with any of the three previous syncs, so i guess this may be a one-time issue with this particular instance (Commit 743629a). I'm happy just waiting for the next successful sync - just thought i would let you know, maybe there's an underlying issue there.

Thanks for providing this great repository, it helps me a lot!