Sending Infrared signal to TV - not working

Thank you for your suggestions @MaBe and @Wilberforce.

First I tried to fix the pulse times from the receiver to 1 decimal, but that didn't work.

Next I wanted went the Pronto-way. I found codes for my TV, but run into a problem with the Pronto module:

>var p=require("pronto")
WARNING: Module "pronto" not found
=undefined
> 

I found the pronto module on the Espruino site and took the function to decode the hex-string and used it to send to to my TV with digitalPulse... To no avail.

Has anyone ever got this to work with a NodeMCU?