Como descomprimir un mapa de Minecraft con 7-zip

Para descomprimir el mapa lo primero es con el segundo botón del mouse sobre el archivo a descomprimir:

Segundo botón del mouse sobre el archivo y abrir con 7- zip file manager:

Luego se te abrira una ventana como esta y pinchas con doble click en el archivo que aparece para descomprimir

Posteriormente te mostrará la carpeta descomprimida, ahora solo le das al botón extraer como en la imagen y seleccionas donde quieres guardar la carpeta con el mapa de minecraft.