Now I have added the 193th LED at the top of the tree. A WS2812 8mm LED from Adafruit, which I have ordered a long time ago for testing purpose. After some try and error I figured out, that this LED needs RGB byte order instead of GRB like the WS2812 at the LED rings. So I decided to use a different GPIO pin of the Teensy to drive this single LED.