können auch 7z, rar oder ace-dateien sein - alles inzwischen ziemlich gängige packformate, die viel effektiver sind als das altbackene zip, das hoffentlich bald endgültig ausstirbt. der 7zip-entpacker kann mit denen allen umgehen, der herr google weiß mehr darüber.