https://tutorials-raspberrypi.de/raspberry-pi-ir-remote-control/