Merge branch 'pumpingv2' into 'master'

rewrite pumps explanation (updated)

See merge request !50
3 jobs for master in 3 minutes and 30 seconds (queued for 3 seconds)
Status Name Job ID Coverage
  Build
passed execute_ipynbs #224764

00:02:40

passed mirror to github #224765

00:00:27

 
  Deploy
passed upload main website #224766

00:00:50