Det är John Ericssons varmluftspump.