The pocket-sized differential pressure gauge for accurate and fast pressure measurements on gas heaters and burners