https://wwtyrd.com/zh-TW/tech/marnie/1336724/how-gas-pumps-know-when-to-stop/