https://www.atg-germany.com/diesel-therm/
Probably 1,000 different versions.
Available for about the last 120 years.
Not everyone loves them.
$40 to $400, I wouldn't be without one if I had a diesel road vehicle.
Op:
Pump what's in the pump. Locals and regulations take care of the rest.