...so it is the Pareto font indeed!