For map-makers - I found out what caused this map to vanish from Steam when I added the no-industry version. I deleted the steamID textfile in this map's staging area folder - I found it had exactly the same ID as the later no-industry map... Steam looks to have generated another unique ID and it works fine now. Must have both versions :)