ポンプを扱う人は読んでおくと、いいかもしれません。