Hey Jonathan!
Thanks for your answer! The required zip files are now there! Maybe I was just a bit too early.