des will der mir als rar-datei downloaden, muss des nich ne zip-datei sein??