A genuine Tokheim Gas pump

Patience pays... As today I spotted this excellent gas pump on a Dutch auction site!

This pump fits perfectly into the Garage equipment, it is of the correct time period and it is Dutch, in origin and in execution. Writing on the plates is Dutch, in guilders and liters. Excellent! It is not new, but has the exact desired amount of patina.
The decals will be removed and maybe I'll add decals of an oil company... We will pick it up this Saturday!