#define LED_ROT 13
#define LED_GELB 12
#define LED_GRUEN 11

void setup()
{
  pinMode(LED_ROT, OUTPUT);
}

void loop() 
{
  digitalWrite(LED_ROT, HIGH);
}