Hi Claws,
You done some very good research and thx for posting, its a very good topic.
Turning coal into diesel goes back to World War II, when besieged Germany used it to supplement its dwindling oil supplies. South Africa is by far the biggest user of the technology in what is a hangover from apartheid days when the country was concerned it would be locked out of world oil markets.
Cheer's F500
