History

What followed the first basement-made pump in 1945 is the stuff of fairytales.