Pump is een 10x bij de marktkapitalisatie van HL. Interessant...