How to Decode IR Remote Control Signals using Arduino at 56Khz

Maybe you should have kept all your remote control questions in one thread, so you don't have to explain everything to the readers again.
https://forum.arduino.cc/index.php?topic=538342.0
https://forum.arduino.cc/index.php?topic=537657.0

The 3-pin receiver takes care of demodulating (removing the 56kHz carrier) the remote control data.
Leo..