Gas mine