Bergius process and Haber–Bosch process