Operation Desert — WW2 German project to produce fuel from shale oil