a few more lines to turn the pin 13 LED off
fetching the liste of 'devices' from Redis