I have installed Directory Add On and read that you can generate short-codes with both Gutenberg and TinyMCE.
None of them are visible in the WP admin menu.
I found the solution. When I download the file via Safari, it is saved as a folder and I compressed it into a zip myself. It apparently doesn’t work to do that. If I download with Chrome, it works fine.